Coverage Criteria for Set-Based Specifications
نویسندگان
چکیده
منابع مشابه
Coverage Criteria for Logical Specifications
Model-based testing (MBT) studies how to generate test cases from a model of the system under test (SUT). Many MBT methods rely on building an automaton from the model and then they generate test cases by covering the automaton with different path coverage criteria. However, if a model of the SUT is a logical formula over some complex mathematical theories (such as the Z notation) it may be mor...
متن کاملCoverage Criteria for Testing DMM Specifications
Behavioral modeling languages are most useful if their behavior is specified formally such that it can e.g. be analyzed and executed automatically. Obviously, the quality of such behavior specifications is crucial. The rule-based semantics specification technique Dynamic Meta Modeling (DMM) honors this by using the approach of Test-driven Semantics Specification (TDSS), which makes sure that th...
متن کاملStatecharts Specifications: A Family of Coverage Testing Criteria
This paper proposes a family of coverage testing criteria for specifications based on Statecharts. Statecharts are an extension of finite state machines with the capability of expressing parallelism and hierarchy. They have been used to specify the behavior of Reactive Systems. Recently, they have also been used in the context of object oriented software development. The two main approaches use...
متن کاملHelping Programmers to Adopt Set-Based Specifications
Set theory is a key component of formal notations such as B, Z and Alloy. Set-based specifications are short while precise enough as to start the implementation. However, according to our experience, practitioners without a mathematical background find difficulties in using them. In this paper we propose the set-based programming language {log} as an aid to teach programmers to write set-based ...
متن کاملProving and Debugging Set-Based Specifications
We present a technique to prove invariants of model-based specifications in a fragment of set theory. Proof obligations containing set theory constructs are translated to first-order logic with equality augmented with (an extension of) the theory of arrays with extensionality. The idea underlying the translation is that sets are represented by their characteristic function which, in turn, is en...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista de Informática Teórica e Aplicada
سال: 2015
ISSN: 2175-2745,0103-4308
DOI: 10.22456/2175-2745.52511